A Completeness theorem for Formal Topologies
نویسنده
چکیده
The main mathematical result of this work is a quite simple formulation and proof of a Rasiowa-Sikorski-like theorem for countable lattices. Then the paper suggests an interpretation of this mathematical result as a completeness theorem for the formal topologies introduced by G. Sambin in order to provide a constructive approach to topology which is expressible within Martin Löf’s intuitionistic theory of types. This completeness theorem shows that, as long as one is interested in dealing only with the coverage relation between two open sets of a topology, within a constructive framework, a very simple mathematical structure is needed. It is necessary to stress that the completeness theorem holds because of the “weak” intuitionistic set and subset theory that we use when dealing with formal topologies.
منابع مشابه
Suzuki-type fixed point theorems for generalized contractive mappings that characterize metric completeness
Inspired by the work of Suzuki in [T. Suzuki, A generalized Banach contraction principle that characterizes metric completeness, Proc. Amer. Math. Soc. 136 (2008), 1861--1869], we prove a fixed point theorem for contractive mappings that generalizes a theorem of Geraghty in [M.A. Geraghty, On contractive mappings, Proc. Amer. Math. Soc., 40 (1973), 604--608]an...
متن کاملON COMPACTNESS AND G-COMPLETENESS IN FUZZY METRIC SPACES
In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...
متن کاملB -AND B - COMPLETENESS IN LOCALLY CONVEX ALGEBRAS AND THE E x THEOREM
Let E be a B-complete (B -complete) locally convex algebra and $ the topological direct sum of countably many copies of the scalar field with a jointly continuous algebra multiplication. It has been shown that E is also B-complete (B -complete) for componentwise multiplication on E . B-and Br-completeness of E , the unitization of E, and also of E x for other multiplications on E ...
متن کاملCompleteness Theorem for Continuous Functions and Product Class-topologies
We introduce an infinitary logic LA(On, Cn)n∈ω which is an extension of LA obtained by adding new quantifiers On and C, for every n ∈ ω. The corresponding models are topological class-spaces. An axiomatization is given and the completeness theorem is proved.
متن کاملTychonoff's Theorem in the Framework of Formal Topologies
In this paper we give a constructive proof of the pointfree version of Tychonoff’s theorem within formal topology, using ideas from Coquand’s proof in [7]. To deal with pointfree topology Coquand uses Johnstone’s coverages. Because of the representation theorem in [3], from a mathematical viewpoint these structures are equivalent to formal topologies but there is an essential difference also. N...
متن کامل